package com.example.propertymanagement.repository;

import com.example.propertymanagement.entity.ParkingSpace;
import org.springframework.data.jpa.repository.JpaRepository;
import org.springframework.stereotype.Repository;

import java.util.List;

@Repository  // Spring Data JPA 的 Repository 注解，自动生成查询方法
public interface ParkingSpaceRepository extends JpaRepository<ParkingSpace, Integer> {

    // 根据小区ID查询所有停车位
    List<ParkingSpace> findByCommunityId(Integer communityId);

    // 根据车位编号查询停车位
    ParkingSpace findBySpaceCode(String spaceCode);
}